Computer Assisted Visual InterActive Recognition: Formal Description and Evaluation
نویسندگان
چکیده
In the proposed computer assisted visual interactive recognition (CAVIAR) methodology, a parameterized geometrical model serves as the human-computer communication channel. The iterative CAVIAR process is modelled as a finite state machine. A flower recognition system is implemented based on the proposed methodology. Evaluation on 30 subjects shows that 1) the accuracy of the CAVIAR system is 90% compared to 50% for the machine alone; 2) its recognition time is 10.7 seconds compared to 26.4 seconds for the human alone; 3) it can be initialized with as few as one training sample per class and still achieve high accuracy; 4) it demonstrates a self-learning ability.
منابع مشابه
Mobile Interactive Support System for Time-Critical Document Exploitation
Computer Assisted Visual Interactive Recognition, or CAVIAR, has proven to be an effective methodology for integrating human and machine expertise in addressing challenging pattern recognition tasks. In this paper, we examine the application of the CAVIAR paradigm to problems arising in real-time document analysis in the field. We identify hurdles we expect to encounter, propose potential solut...
متن کاملA System Demonstration of a Framework for Computer Assisted Pronunciation Training
In this paper, we demonstrate a system implementation of a framework for computer assisted pronunciation training for second language learner (L2). This framework supports an iterative improvement of the automatic pronunciation error recognition and classification by allowing integration of annotated error data. The annotated error data is acquired via an annotation tool for linguists. This pap...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003